﻿(f. d. Mindre teatern).